TAGs: Mathematical proof examples